- 双语例句 更多例句
This paper discusses formal description style of communication protocol for computer networks.
研讨计算机网络通信协议的形式描述风格.
互联网摘选
协同设计中并发控制加锁机制的研究与形式化描述
互联网摘选
In this paper the ISO & CCITT formal description techniques will be introduced.
本篇文章中,将介绍ISO 和 CCITT的形式描述技术.
互联网摘选
该文重点分析了时序安全特性和竞争条件等代码分析热点问题，给出了时序安全特性的分类以及形式化描述，提出了将模式识别应用于解释性语言中的动态代码检查方法。
互联网摘选
The dissertation extends DisCo formal description language to precisely describe design pattern.
本文扩展了DisCo形式化 描述语言,使其能很好地描述设计模式.
互联网摘选
本文依据国际电信联合委员会（ITU-T）的智能网能力集建议，对智能网业务的形式化描述技术（FDT）、智能网业务逻辑验证的理论与方法等进行了研究。
互联网摘选
这里主要讨论了协商协议的规范化描述, 协商策略的表示和规划,以及协商中的建模问题.
互联网摘选
The paper introduces formal description techniques and SDL.
介绍了形式化描述技术及其SDL语言,并以PPP协议 为例,研究了协议的形式化开发的整个过程.
互联网摘选
论文中对自身鉴别机制进行了多维的阐述，给出了SA-RBAC模型的形式化描述，同时对新模型中的几个关键问题也进行了系统的讨论。
互联网摘选
- 相关词组
- accurate description准确描述;
- position description职位描述;
- formal note正式照会;
- formal attire礼服;
- formal sitting隆重开会;
- formal algebra形式代数;
- formal education形式教育;正式教育;
- formal semantics形式语义学[程序];
- beggar description非笔墨所能描述;无可名状;不可名状;
- formal dressn.礼服;大礼服;
- formal agreement正式协议;
- formal application正式申请;
- generic descriptionn.货物分类名称（运价表）;通用描述;
- behavioral description interview工作方式介绍面试;
- semantic description[计] 语义描述;
- description of goods[经] 货物名称，货物摘要;
- formal organization正式组织;
- product description产品阐述，产品说明;
- job description职位描述，工作说明;
- formal wear正装;
- 今日热词
- 热门搜索
- bear n.熊;（在证券市场等）看跌的人;v.有（某个名称）;支撑;承受;显示;忍受;开（花）;携带;承担责任;生育，生（孩子）;转向（左或北等）;举止;心怀;不适于某事(或做某事)
- brighten vt.& vi.（使）发亮;（使）生色;（使）生辉;（使）快乐;
- representative n.代表;继任者;议员;类似物;adj.典型的;有代表性的;代议制的;相当[类似]（另一种属）的;
- lesson n.一课时;课程;教训;《圣经》选读;
- lie to me 别对我撒谎;
- Merrell n.迈乐;[人名] 梅里尔;迈乐；麦乐；登山鞋
- insurance n.保险;保险费;保险业;保险契约，保险单;（防备不测的）保障措施，安全保证;〈体〉保证球队始终处于领先地位的得分adj.胜券在握的
- twelve num.十二;十二个;十二点钟;十二岁;n.十二；十二个;
- transport n.交通工具;交通运输系统;运输;运输工具;激情;v.运输;传播;使身处他境;流放;
- herself pron.（反身代词）她自己;（用以加强语气）她亲自，她本人;
- wake me up 叫醒我;
- decision making 决策，判定;作出判定;
